Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
681	The Birth of Model Checking Edmund M. Clarke [removed] Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-26 08:39:11 Formal methods Model checkers Turing Award laureates Proof theory Model checking Formal verification Temporal logic Edmund M. Clarke Concurrency Logic Theoretical computer science Mathematics
682	E. The Hahn-Banach Theorem This Appendix contains several technical results, that are extremely useful in Functional Analysis. The following terminology is useful in formulating the Add to Reading List Source URL: www.math.ksu.edu Language: English - Date: 2002-11-25 12:30:52 Functional analysis Linear algebra Hahn–Banach theorem Locally convex topological vector space Vector space Function Spectral theory of ordinary differential equations Linear temporal logic Mathematics Algebra Mathematical analysis
683	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
684	PDF Document Add to Reading List Source URL: www2.ph.ed.ac.uk Language: English - Date: 2012-11-29 09:19:18 Partial differential equations Spinors Dirac equation Fermions Wave function Energy operator Interpretation Linear temporal logic Spectral theory of ordinary differential equations Physics Quantum mechanics Quantum field theory
685	PDF Document Add to Reading List Source URL: qav.cs.ox.ac.uk Language: English - Date: 2007-07-13 07:18:18 Markov chain Continuous-time Markov process Stochastic process Interpretation Markov decision process Linear temporal logic Statistics Markov processes Model checking
686	PDF Document Add to Reading List Source URL: myweb.wwu.edu Language: English - Date: 2005-12-27 19:00:32 Physics Metaphysics Philosophy of time Philosophical logic Critical thinking Four-dimensionalism Temporal parts Theodore Sider Vagueness Logic Philosophy of physics Analytic philosophy
687	PDF Document Add to Reading List Source URL: www.sci.brooklyn.cuny.edu Language: English - Date: 2007-12-10 11:41:20 Non-classical logic Philosophical logic Modal logic Rohit Jivanlal Parikh Fuzzy logic Temporal logic First-order logic Dynamic logic Proof theory Logic Mathematical logic Mathematics
688	PDF Document Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-27 10:41:08 Temporal logic Logic in computer science Formal methods Formal sciences Model checking Linear temporal logic Computation tree logic Formal verification CTL* Mathematical logic Logic Theoretical computer science
689	PDF Document Add to Reading List Source URL: www.ml.kva.se Language: English - Date: 2010-03-11 12:21:44 Model theory Mathematical logic Logical syntax Interpretation First-order logic Entailment Well-formed formula Linear temporal logic Dependence logic Logic Metalogic Formal languages
690	PDF Document Add to Reading List Source URL: ilpubs.stanford.edu Language: English - Date: 2008-09-17 01:51:19 K-means++ Normal distribution Distribution K-means clustering Cauchy–Schwarz inequality Cluster analysis Golden ratio base Linear temporal logic Statistics Mathematics Mathematical analysis